home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Comp / permalloc.pl < prev    next >
Encoding:
Text File  |  1989-04-14  |  340 b   |  16 lines
  1.  
  2. /* Copyright (C) 1988, 1989 Herve' Touati, Aquarius Project, UC Berkeley */
  3.  
  4. /* Copyright Herve' Touati, Aquarius Project, UC Berkeley */
  5.  
  6. % Trivial permalloc
  7. % Variables at end of list are numbered lowest.
  8.  
  9. permalloc(PermVars) :-
  10.     permalloc(PermVars, _).
  11.  
  12. permalloc([y(I)|Vars], I) :-
  13.     permalloc(Vars, I1),
  14.     I is I1+1 .
  15. permalloc([], 0).
  16.